<html>
  <body>
    Classes dealing with Benchmarking generation of read-only stores.
  </body>
</html>